Composite performance and dependability analysis
نویسندگان
چکیده
منابع مشابه
Composite Performance and Dependability Analysis
Trivedi, K.S., J.M. Muppala, S.P. Woolet and B.R. Haverkort, Composite performance and dependability analysis, Performance Evaluation 14 (1992) 197-215. Composite performance and dependability analysis is gaining importance in the design of complex, fault-tolerant systems. Markov reward models are most commonly used for this purpose. In this paper, an introduction to Markov reward models includ...
متن کاملComposite performance-dependability analysis of cellular manufacturing systems
This paper deals with the transient analysis of manufacturing systems in the presence of failures and repairs. The exact model is decomposed into 1) a structure state process, modeling the failure and repair events which occur at a slower time scale, and 2) a performance model, modeling the part processing and material movement events occurring at a faster time scale. The solutions of these two...
متن کاملA Set of Performance and Dependability Analysis Components for CADP
This paper describes a set of analysis components that open the way to perform performance and dependability analysis with the Cadp toolbox, originally designed for verifying the functional correctness of Lotos specifications. Three new tools (named Bcg Steady, Bcg Transient and Determinator) have been added to the toolbox. The approach taken fits well within the existing architecture of Cadp w...
متن کاملPerformance Evaluation and Dependability Analysis for Open Source Cloud Computing
At present, many open source software are developed in all parts of the world, i.e., Firefox, Apache HTTP server, Linux, Android, etc. In particular, a cloud computing is an attracting attention as network service to share the computing resources, i.e., networks, servers, storage, applications, and services. This paper focuses on a cloud computing environment by using open source software such ...
متن کاملSafety, Dependability and Performance Analysis of Aerospace Systems
The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system. Current validation methods are labour-intensive as they rely on manual analysis, review and inspection. In this paper we give an overview of an integrated system-software co-engineering approach focusing on a coherent set o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Performance Evaluation
سال: 1992
ISSN: 0166-5316
DOI: 10.1016/0166-5316(92)90004-z